Requirements for a Temporal Logic of Daily Activities for Supportive Technology

Behaviour support technology is aimed at helping people organize their daily routines. The overall goal of our research is to develop generic techniques for representing people’s actual and desired behavior, i.e. commitments towards themselves and others, and for reasoning about corresponding supportive actions to help them comply with these commitments as well as handle non-compliance appropriately. Describing daily behavior concerns representing the types of behaviour the user typically performs, but also when, i.e. we need to take into account temporal dimensions of daily behaviour. This paper forms a first requirements analysis of the types of temporal dimensions that are relevant for the purpose of supporting people’s daily activities and how these may be formalized. This analysis forms the starting point for selecting or developing a formal temporal representation language for daily activities.